module Module

type T =
    interface end

()
